package VariablePicker;
import java.util.ArrayList;


public abstract class VariablePicker {
	public abstract int pickVariable(ArrayList<int[]> clauses);
	
	public static ArrayList<Integer> toIntegerList(int [] list) {
		ArrayList<Integer> newList = new ArrayList<Integer>();
		for(int i = 0; i < list.length; i++) {
			newList.add(list[i]);
		}
		return newList;
	}
}
